The contents of this folder deal with the theoretical aspects of CyberDEFs.